Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL
نویسندگان
چکیده
In this work, we venture out to develop self-optimization features in the Distributed Modular Audio Recognition Framework (DMARF). Here, we use the Autonomic System Specification Language (ASSL) to specify a self-optimization policy and generate the code for the same. This completes the first iteration of the autonomic specification layer for DMARF and enables re-engineered autonomic DMARF system, which also includes self-healing and self-protection, both developed earlier.
منابع مشابه
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study
In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Specification Language) to formally develop such properties for DMARF (Distributed Modular Audio Recognition Framework). These properties enhance DMARF with an autonomic middleware that manages the four stage...
متن کاملAssl Specification of Reliability Self-Assessment in the As-Trm
This article is an introduction to our research towards a formal framework for tackling reliability in reactive autonomic systems with self-monitoring functionality. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, which shows that it is very appropriate language fo...
متن کاملA Self-adaptive Architecture for Autonomic Systems Developed with ASSL
We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems with a special hierarchical multi-granular architecture composed of singleton classes. Base ASSL is designed to support runtime evolving systems, whereas in this approach, we ...
متن کاملModel Checking for Autonomic Systems Specified with ASSL
Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) framework, we have successfully specified autonomic properties, verified their consistency, and generated prototype models for both the NASA ANTS (Autonomous Nano-Technology S...
متن کاملToward Refactoring of DMARF and GIPSY Case Studies - a Team 12 SOEN6471-S14 Project Report
The main significance of this document is two source systems namely GIPSY and DMARF. Intensional languages are required like GIPSY for absoluteness and forward practical investigations on the subject.DMARF mainly focuses on software arechetictual design and implementation on Distributed Audio recognition and its applications such as speaker identification which can run distributively on web ser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009